xor(ket1, ket2) returns |yes> if ket1 xor ket2 are |yes>, |no> otherwise.
xor(|yes>, |yes>) |no> xor(|yes>, |no>) |yes> xor(|no>, |no>) |no>